1. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
2. An Introduction to computational science and mathematics
پدیدآورنده : Charles Van Loan
موضوع : Computer science - Mathematics,Electronic digital computers--Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
4. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
5. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
6. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
7. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
8. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
9. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
10. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Categories (Mathematics)- Data processing,Electronic digital computers- Programming
رده :
QA
،
169
،.
R93
،
1988
11. Computer science, a mathematical introduction: : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems
پدیدآورنده : Lew, Art
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Computer science, a mathematical introduction
پدیدآورنده : Lew, Art
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing-- Mathematics,، Electroni digital computers-- Programming
رده :
QA
76
.
9
.
M35
.
L48
1984
13. Computer science: a mathematical introduction
پدیدآورنده : / Art Lew
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic data processing- Mathematics,Electronic digital computers- programming
رده :
QA76
.
9
.
L4
1984
14. Computer science, a mathematical introduction: apllied mathematics - modeling, analysis, and optimization technique with applications to software systems
پدیدآورنده : Lew, Art
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
M35
L48
1985
15. Computer science: a primer
پدیدآورنده : Alexandra I. Forsythe ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Mathematics ، Electronic data processing
رده :
QA
76
.
5
.
C6127
16. Computer science reader :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
24
C667
2013
17. Data structures : theory and practice
پدیدآورنده : A. T. Berztiss,Title
موضوع : Data structures )Computer science(,Electronic digital computers - Programming
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Data structures theory and practice
پدیدآورنده : Berztiss, Alfs T.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Data structures )Computer science(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
B46
19. Discrete computational structures
پدیدآورنده : Korfhage, Robert R.
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
